PURe

Program Understanding and Re-engineering: Calculi and Applications

Cancel

Search: ^c

Research/PURe Web	Changed	Changed by

Camila	04 Nov 2007 - 18:58 - r15	JoseBacelarAlmeida
CAMILA: VDM meets Haskell The Camila project explores how concepts from the VDM specification language and the functional programming language Haskell can be combined ...

ChopaChops	09 Aug 2004 - 09:53 - NEW	JoostVisser
What is ChopaChops? ChopaChops is a collection of tools for slicing and chopping of graphs. Currently, only a single tools is included in the collection: JReach ...

CoddFish	11 Jul 2007 - 21:47 - r19	JoostVisser
!CoddFish !CoddFish is a Haskell library that offers strongly typed support for database programming. Documentation !CoddFish makes extensive use of heterogenous ...

Found 3 topics.

Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

Syndicate this site RSS ATOM